$\forall$$x$:$A$. $B$($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$:$A$$\rightarrow$$B$($x$)